/*
 ============================================================================
 Name        : SAST_IA.c
 Author      : Jacobo Martinez, Gianpaolo A. Valero
 Version     :
 Copyright   : Your copyright notice
 Description : Hello World in C, Ansi-style
 ============================================================================
 */

#include <stdio.h>
#include <stdlib.h>
#include "LectorSudoku.h"
#include "Util.h"
#include "Estructuras.h"
#include "Traductor.h"

OutPut cnf;
int **table;

void printUsage() {
	printf("./sudoku <Cadena de 81 numeros entre 0 y 9>\n");
}

void inicio() {
	int i;
	table = (int **)malloc (9 * sizeof(int *));
	for (i=0; i<9; i++){
		table[i] = (int *)malloc (9 * sizeof(int));
	}
	cnf.claus = (Clausula* ) malloc(sizeof(Clausula) * 11754);
	cnf.varias = (Variable* ) malloc(sizeof(Variable) * 729);
	for (i = 0; i < 11754; ++i) {
		cnf.claus[i].indices = malloc(sizeof(ParOrdenado)*9);
	}
}

int main(int argc, char** argv) {
	if (argc != 2) {
		printUsage();
		exit(0);
	}
	inicio();
	leerSudoku(argv[1], table);
	printMatriz(table,9);
	toCNF(&cnf);
	valoresIniciales(table, &cnf);
	return(0);
}
